lý thuyết đồng luân Tiếng Anh là gì

Từ điển kỹ thuật

• homotopy theory

• lý thuyết hình thái đồng luân:    homotopy type theory
• đồ án lý thuyết:    Từ điển kỹ thuậtLĩnh vực: hóa học & vật liệutheoretical draft
• cây (lý thuyết đồ thị):    tree (graph theory)

Câu ví dụ

He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories.
Ông ấy đã làm việc trên nền tảng toán học dựa vào lý thuyết đồng luân của lý thuyết các dạng Martin-Lof .

In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism.
Trong toán học, định lý Hurewicz là một kết quả cơ bản của tô pô đại số, liên hệ lý thuyết đồng luân với lý thuyết đồng điều qua đồng cấu Hurewicz.

His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002.
Nghiên cứu của ông bao gồm phát triển một lý thuyết đồng luân cho đa tạp đại số và thiết lập đối đồng điều động lực (motivic cohomology) đã dẫn đến giải huy chương Fields năm 2002.